Revision: tlacontrib--algernon--1.2--patch-5
Archive: algernon@bonehunter.rulez.org--hacks
Creator: Gergely Nagy <algernon@bonehunter.rulez.org>
Date: Thu Jan 29 10:40:01 CET 2004
Standard-date: 2004-01-29 09:40:01 GMT
Modified-files: tla-archive-locate
New-patches: algernon@bonehunter.rulez.org--hacks/tlacontrib--algernon--1.2--patch-5
Summary: Better handling of unknown sources
Keywords: 

* tla-archive-locate: If ars_${ARCH} is not known to the shell, report
  an error.
